Search Results
[POPL'23] Impredicative Observational Equality
Observational Equality: Now For Good (Teaser)
[POPL'23] An Order-Theoretic Analysis of Universe Polymorphism
[Session Previews @ POPL'23] Type Theory
Loïc Pujet, Observational Type Theory meets CIC
Cedille Cast #9: Impredicativity, proof-irrelevance, and normalization
A Quick Look at Impredicativity (ICFP 2020)
EPIT Spring School on HoTT: Bas Spitters Part 3 (Quotients and impredicativity, Axioms )
Some Remarks about Impredicativity - Thierry Coquand
Mathieu Sozeau, The MetaCoq project
![[POPL'23] Impredicative Observational Equality](https://img.youtube.com/vi/xNF3okmS4HI/hqdefault.jpg)
![[POPL'23] An Order-Theoretic Analysis of Universe Polymorphism](https://img.youtube.com/vi/bp4yvTRM3DQ/hqdefault.jpg)
![[Session Previews @ POPL'23] Type Theory](https://img.youtube.com/vi/6ozl9WheSws/hqdefault.jpg)
